Bouhoula, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Particularités de l’association asthme et obésité

Cheikh Mhamed, S., Cheikh Mhamed, S., Bouhoula, M., Saad, A., Fahem, N., Kaddousi, R., Joobeur, S., Khemakhem, R., Trigui, G., Rouatbi, N., Elkamel, A.

Journal:

Revue des Maladies Respiratoires

Year:

2018

Language:

french

File:

PDF, 74 KB

french, 2018

2

Characterization of attacks collected from the deployment of Web service honeypot

Ghourabi, Abdallah, Abbes, Tarek, Bouhoula, Adel

Journal:

Security and Communication Networks

Year:

2014

Language:

english

File:

PDF, 1.45 MB

english, 2014

3

Trusted intrusion detection architecture for high-speed networks based on traffic classification, load balancing and high availability mechanism

Sourour Meharouech, Adel Bouhoula, Tarek Abbes

Journal:

Security and Communication Networks

Year:

2011

Language:

english

File:

PDF, 615 KB

english, 2011

4

Ensuring security in depth based on heterogeneous network security technologies

Meharouech Sourour, Bouhoula Adel, Abbes Tarek

Journal:

International Journal of Information Security

Year:

2009

Language:

english

File:

PDF, 639 KB

english, 2009

5

Traitement des kystes arachnoïdiens de la fosse cérébrale moyenne associés à une collection sous-durale

Abderrahmen, K., Saadaoui, K., Bouhoula, A., Boubaker, A., Jemel, H.

Journal:

Year:

2012

Language:

french

File:

PDF, 913 KB

french, 2012

6

[IEEE 2009 IEEE Symposium on Computers and Communications (ISCC) - Sousse, Tunisia (2009.07.5-2009.07.8)] 2009 IEEE Symposium on Computers and Communications - Automatic verification of conformance of firewall configurations to security policies

Ben Youssef, Nihel, Bouhoula, Adel, Jacquemard, Florent

Year:

2009

Language:

english

File:

PDF, 523 KB

english, 2009

7

[IEEE 2007 IEEE Symposium on Computers and Communications - Santiago, Portugal (2007.07.1-2007.07.4)] 2007 IEEE Symposium on Computers and Communications - Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules

Benelbahri, Mohammed Anis, Bouhoula, Adel

Year:

2007

Language:

english

File:

PDF, 1.05 MB

english, 2007

8

Detection of firewall configuration errors with updatable tree

Abbes, Tarek, Bouhoula, Adel, Rusinowitch, Michaël

Journal:

International Journal of Information Security

Year:

2016

Language:

english

File:

PDF, 1.59 MB

english, 2016

9

Efficient decision tree for protocol analysis in intrusion detection

Abbes, T., Bouhoula, A., Rusinowitch, M.

Journal:

International Journal of Security and Networks

Year:

2010

Language:

english

File:

PDF, 1.44 MB

english, 2010

10

[IEEE 2016 IEEE Trustcom/BigDataSE/ISPA - Tianjin, China (2016.8.23-2016.8.26)] 2016 IEEE Trustcom/BigDataSE/ISPA - An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations

Saadaoui, Amina, Souayeh, Nihel Ben Youssef Ben, Bouhoula, Adel

Year:

2016

Language:

english

File:

PDF, 562 KB

english, 2016

11

Tumeur ventriculaire trompeuse

Zehani, Alia, Bouali, Sofiene, Chelly, Ines, Bouhoula, Asma, Jemel, Hafedh, Haouet, Slim, Kchir, Nidhameddine

Journal:

Annales de Pathologie

Year:

2017

Language:

french

File:

PDF, 1.55 MB

french, 2017

12

A Methodology and Toolkit for Deploying Reliable Security Policies in Critical Infrastructures

Jaïdi, Faouzi, Labbene Ayachi, Faten, Bouhoula, Adel

Journal:

Security and Communication Networks

Year:

2018

Language:

english

File:

PDF, 2.87 MB

english, 2018

13

Neurinome des nerfs mixtes : à propos d’un cas et revue de la littérature

Hachicha, A., Khrifech, M., Yameogo, S., Ayedi, K., Bouhoula, A., Jemel, H.

Journal:

Year:

2019

Language:

french

File:

PDF, 407 KB

french, 2019

14

Profil des asthmatiques polysensibilisés

Kaddoussi, R., Cheikh Mhamed, S., Joobeur, S., Fahem, N., Trigui, G., Saad, A., Khemakhem, R., Bouhoula, M., Rouatbi, N., Elkamel, A.

Journal:

Revue des Maladies Respiratoires

Year:

2018

File:

PDF, 57 KB

2018

15

[IEEE 2019 IFIP Networking Conference (IFIP Networking) - Warsaw, Poland (2019.5.20-2019.5.22)] 2019 IFIP Networking Conference (IFIP Networking) - Poster : Minimizing range rules for packet filtering using a double mask representation

Abboud, Ahmad, Lahmadi, Abdelkader, Rusinowitch, Michael, Couceiro, Miguel, Bouhoula, Adel

Year:

2019

Language:

english

File:

PDF, 599 KB

english, 2019

16

FrÃ©quence et facteurs associÃ©s Ã la polysensibilisation aux mÃ©tauxÂ : enquÃªte rÃ©alisÃ©e au CHU Farhat Hached de Sousse - Tunisie

Haouari, Wala, Aloui, Asma, Sridi, Chaima, Bouhoula, Marwa, hadj, Noura Bel, Kacem, Imene, Elguedri, Sana, Maoua, Maher, Brahem, Aicha, Elmaalel, Olfa, Chatti, Souhail, Kalboussi, Houda, Mrizek, Najib

Journal:

Archives des Maladies Professionnelles et de l'Environnement

Year:

2020

File:

PDF, 175 KB

2020

17

Prospective randomised comparison of the COBE Spectra version 6 and Haemonetics MCS+ cell separators for hematopoietic progenitor cells leucapheresis in patients with multiple myeloma

A. Abdelkefi, M. Maamar, L. Torjman, S. Ladeb, A. Lakhal, T. Ben Othman, H. Slama, F. Jenhani, N. Mojaat, L. Ben Hamed, S. Bouhoula, M. Hsairi, K. Boukef, A. Ben Abdeladhim

Journal:

Journal of Clinical Apheresis

Year:

2006

Language:

english

File:

PDF, 78 KB

english, 2006

18

Automated Theorem Proving by Test Set Induction

Journal:

Journal of Symbolic Computation

Year:

1997

Language:

english

File:

PDF, 825 KB

english, 1997

19

Observational proofs by rewriting

Adel Bouhoula, Michaël Rusinowitch

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 185 KB

english, 2002

20

Using induction and rewriting to verify and complete parameterized specifications

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.23 MB

english, 1996

21

Specification and proof in membership equational logic

Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 698 KB

english, 2000

22

Implicit induction in conditional theories

Adel Bouhoula, Michaël Rusinowitch

Journal:

Journal of Automated Reasoning

Year:

1995

Language:

english

File:

PDF, 3.07 MB

english, 1995

23

On the fly pattern matching for intrusion detection with Snort

Tarek Abbes, Adel Bouhoula, Michael Rusinowitch

Journal:

annals of telecommunications - annales des télécommunications

Year:

2004

Language:

english

File:

PDF, 2.99 MB

english, 2004

24

A delegation model for extended RBAC

Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula

Journal:

International Journal of Information Security

Year:

2010

Language:

english

File:

PDF, 867 KB

english, 2010

25

Network Security Alerts Management Architecture for Signature-Based Intrusions Detection Systems within a NAT Environment

Meharouech Sourour, Bouhoula Adel, Abbes Tarek

Journal:

Journal of Network and Systems Management

Year:

2011

Language:

english

File:

PDF, 2.26 MB

english, 2011

26

Specification and evaluation of polymorphic shellcode properties using a new temporal logic

Mehdi Talbi, Mohamed Mejri, Adel Bouhoula

Journal:

Journal of Computer Virology and Hacking Techniques

Year:

2009

Language:

english

File:

PDF, 786 KB

english, 2009

27

Automata-Driven Automated Induction

Adel Bouhoula, Jean-Pierre Jouannaud

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 206 KB

english, 2001

28

Sufficient completeness verification for conditional and constrained TRS

Adel Bouhoula, Florent Jacquemard

Journal:

Journal of Applied Logic

Year:

2012

Language:

english

File:

PDF, 479 KB

english, 2012

29

Le médulloépithéliome du système nerveux central. À propos de trois cas

A. Bouhoula, A. Boubaker, J. Kallel, R. Chikili, N. Kchir, M. Khaldi

Journal:

Year:

2010

File:

PDF, 472 KB

2010

30

[IEEE 2009 International Conference on Computational Science and Engineering - Vancouver, BC, Canada (2009.08.29-2009.08.31)] 2009 International Conference on Computational Science and Engineering - Misbehavior Detection Using Implicit Trust Relations in the AODV Routing Protocol

Ayachi, Mohamed Ali, Bidan, Christophe, Abbes, Tarek, Bouhoula, Adel

Year:

2009

Language:

english

File:

PDF, 746 KB

english, 2009

31

[IEEE 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) - Liverpool, United Kingdom (2012.06.25-2012.06.27)] 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications - Towards Safe and Optimal Network Designs Based on Network Security Requirements

Souayeh, Nihel Ben Youssef Ben, Bouhoula, Adel

Year:

2012

Language:

english

File:

PDF, 407 KB

english, 2012

32

A prefix-based approach for managing hybrid specifications in complex packet filtering

Nizar Ben Neji, Adel Bouhoula

Journal:

Computer Networks

Year:

2012

Language:

english

File:

PDF, 490 KB

english, 2012

33

[IEEE Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) - (2008.05.14-2008.05.16)] Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) - Collaboration between Security Devices toward improving Network Defense

Sourour, Meharouech, Adel, Bouhoula, Tarek, Abbes

Year:

2008

Language:

english

File:

PDF, 293 KB

english, 2008

34

[IEEE 2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust (PASSAT) / 2011 IEEE Third Int'l Conference on Social Computing (SocialCom) - Boston, MA, USA (2011.10.9-2011.10.11)] 2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third Int'l Conference on Social Computing - Systematic Deployment of Network Security Policy in Centralized and Distributed Firewalls

Youssef, Nihel Ben Souayeh Ben, Bouhoula, Adel

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

35

[IEEE 2011 IEEE 11th International Conference on Computer and Information Technology (CIT) - Paphos, Cyprus (2011.08.31-2011.09.2)] 2011 IEEE 11th International Conference on Computer and Information Technology - A Fully Automatic Approach for Fixing Firewall Misconfigurations

Souayeh, Nihel Ben Youssef Ben, Bouhoula, Adel

Year:

2011

Language:

english

File:

PDF, 449 KB

english, 2011

36

[IEEE 2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013) - Split-Primosten, Croatia (2013.09.18-2013.09.20)] 2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013) - A SPIT detection algorithm based on user's call behavior

Ben Chikha, Randa Jabeur, Abbes, Tarek, Bouhoula, Adel

Year:

2013

Language:

english

File:

PDF, 315 KB

english, 2013

37

[ACM Press the 12th International Conference - Paris, France (2010.11.08-2010.11.10)] Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services - iiWAS '10 - Experimental analysis of attacks against web services and countermeasures

Ghourabi, Abdallah, Abbes, Tarek, Bouhoula, Adel

Year:

2010

Language:

english

File:

PDF, 352 KB

english, 2010

38

[IEEE 2011 IEEE 12th International Conference on High Performance Switching and Routing (HPSR) - Cartagena, Spain (2011.07.4-2011.07.6)] 2011 IEEE 12th International Conference on High Performance Switching and Routing - NAF conversion: An efficient solution for the range matching problem in packet filters

Ben Neji, Nizar, Bouhoula, Adel

Year:

2011

Language:

english

File:

PDF, 309 KB

english, 2011

39

[IEEE 2010 IEEE Second International Conference on Social Computing (SocialCom) - Minneapolis, MN, USA (2010.08.20-2010.08.22)] 2010 IEEE Second International Conference on Social Computing - Automatic Conformance Verification of Distributed Firewalls to Security Requirements

Youssef, Nihel Ben Souayeh Ben, Bouhoula, Adel

Year:

2010

Language:

english

File:

PDF, 296 KB

english, 2010

40

[IEEE 2011 IEEE 36th Conference on Local Computer Networks (LCN 2011) - Bonn, Germany (2011.10.4-2011.10.7)] 2011 IEEE 36th Conference on Local Computer Networks - Enabling flexible packet filtering through the K-map priority elimination technique

Ben Neji, Nizar, Bouhoula, Adel, Kimura, Masato

Year:

2011

Language:

english

File:

PDF, 241 KB

english, 2011

41

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - An inference system for detecting firewall filtering rules anomalies

Abbes, Tarek, Bouhoula, Adel, Rusinowitch, Michaël

Year:

2008

File:

PDF, 1.73 MB

2008

42

[IEEE International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004. - Las Vegas, NV, USA (2004.04.5-2004.04.7)] International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004. - Protocol analysis in intrusion detection using decision tree

Abbes, T., Bouhoula, A., Rusinowitch, M.

Year:

2004

Language:

english

File:

PDF, 1.34 MB

english, 2004

43

Integrity-OrBAC: a new model to preserve Critical Infrastructures integrity

Ameziane El Hassani, Abdeljebar, Abou El Kalam, Anas, Bouhoula, Adel, Abassi, Ryma, Ait Ouahman, Abdellah

Journal:

International Journal of Information Security

Year:

2015

Language:

english

File:

PDF, 1.70 MB

english, 2015

44

[IEEE 2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS) - Marrakech, Morocco (2014.5.28-2014.5.30)] 2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS) - Formal approach for managing firewall misconfigurations

Saadaoui, Amina, Souayeh, Nihel Ben Youssef Ben, Bouhoula, Adel

Year:

2014

Language:

english

File:

PDF, 961 KB

english, 2014

45

[IEEE 2010 Fourth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE) - Venice, TBD, Italy (2010.07.18-2010.07.25)] 2010 Fourth International Conference on Emerging Security Information, Systems and Technologies - RBAC+: Dynamic Access Control for RBAC-Administered Web-Based Databases

Bouchahda, Ahlem, Thanh, Nhan Le, Bouhoula, Adel, Labbene, Faten

Year:

2010

Language:

english

File:

PDF, 260 KB

english, 2010

46

[IEEE 2010 IEEE 10th International Conference on Computer and Information Technology (CIT) - Bradford, United Kingdom (2010.06.29-2010.07.1)] 2010 10th IEEE International Conference on Computer and Information Technology - Enforcing Access Control to Web Databases

Bouchahda, Ahlem, Thanh, Nhan Le, Bouhoula, Adel, Labbene, Faten

Year:

2010

Language:

english

File:

PDF, 318 KB

english, 2010

47

[IEEE 2011 5th International Conference on Network and System Security (NSS) - Milan, Italy (2011.09.6-2011.09.8)] 2011 5th International Conference on Network and System Security - Towards safe and optimal filtering rule reordering for complex packet filters

Ben Neji, Nizar, Bouhoula, Adel

Year:

2011

Language:

english

File:

PDF, 1.08 MB

english, 2011

48

[IEEE 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) - Toulouse, France (2009.10.19-2009.10.22)] 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) - Honeypot router for routing protocols protection

Ghourabi, Abdallah, Abbes, Tarek, Bouhoula, Adel

Year:

2009

Language:

english

File:

PDF, 335 KB

english, 2009

49

[IEEE The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007) - Valencia, Spain (2007.10.14-2007.10.20)] The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007) - A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems

HAMDI, Hedi, Bouhoula, ADEL, Mosbah, Mohamed

Year:

2007

Language:

english

File:

PDF, 205 KB

english, 2007

50

[IEEE 21st International Conference on Advanced Networking and Applications - Niagara Falls, ON, Canada (2007.05.21-2007.05.23)] 21st International Conference on Advanced Networking and Applications (AINA '07) - A Stateful Real Time Intrusion Detection System for high-speed network

Sourour, Meharouech, Adel, Bouhoula, Tarek, Abbes

Year:

2007

Language:

english

File:

PDF, 365 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски